second-order logic أمثلة على

أمثلة

1. Second-order logic is in turn extended by higher-order logic and type theory.
   يتم التمديد إلى منطق الرتبة الثانية عبر منطق الرتب الأعلى ونظرية النمط.
2. Second-order logic extends first-order logic by adding the latter type of quantification.
   يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.